Imaging with hypertelescopes: a simple modal approach
نویسندگان
چکیده
منابع مشابه
Modal Characteristics of Composite Beams with Single Delamination- A Simple Analytical Technique
In the present research, the effects of delamination size and location on vibration characteristics of laminated composite beams are investigated both analytically and numerically. In the analytical method, the delaminated beam is modeled as four interconnected Euler–Bernoulli beams and the constrained and free mode models are both simulated. The differential stretching and the bending-extensio...
متن کاملImaging capabilities of hypertelescopes with a pair of micro-lens arrays
We verify the imaging performance of hypertelescopes on the sky, using a new scheme for pupil densification. To avoid seeing limitations, we used a miniature version with a 10 cm aperture containing 78 sub-apertures of 1 mm size, arrayed periodically as a square grid. The pupil densification is achieved with a pair of micro-lens arrays, where each pair of facing lenses behaves like a tiny demag...
متن کاملTerminating modal tableaux with simple completeness proof
In this paper we study formal tools for the definition of tableaux systems for modal logics. We begin by some preliminaries about graphs. Then we present graph rewriting rules together with control constructs for defining strategies of application of these rules. We establish fair strategies that are sound, complete and terminating. These results cover almost all basic modal logics such as K, T...
متن کاملHypertelescopes and Exo-earth Coronagraphy
RESUME Hypertelescopes, or " multi-aperture densified-pupil imaging optical arrays" can provide direct images with full luminosity at arbitrary aperture dilution . They can be equipped with coronagraphic masks for difficult imaging situations such as the search for exo-Earths at infra-red and visible wavelengths . For detecting faint planets, down to 10 relative intensity, multi-stage coronagra...
متن کاملUndecidability of a Very Simple Modal Logic with Binding
We show undecidability of the satisfiability problem of what is arguably the simplest non-sub-Boolean modal logic with an implicit notion of binding. This work enriches the series of existing results of undecidability of modal logics with binders, which started with Hybrid Logics and continued with Memory Logics. 1 Modal Logics, Names and Binders Modal Logics are languages that are able to desc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomy & Astrophysics
سال: 2008
ISSN: 0004-6361,1432-0746
DOI: 10.1051/0004-6361:20078659